| Sample | Simple Checks | Nullness | Termination | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| name | address | jar | source lines | analyzed lines | time | eq | cast | static | uncalled | others | time | warnings | precision | time | warnings | precision |
| AbdTest | | | 490 | 58018 | 27.78 | 0 | 3/11 | 0 | 5 | 0 | 126.13 | 6 | 98.41% | 73.23 | 3 | 57.14% |
| AccelerometerPlayActivity | | | 306 | 47802 | 12.76 | 0 | 0/15 | 0 | 0 | 5 | 79.47 | 3 | 99.53% | 47.38 | 0 | 100.00% |
| ApiDemos | | | 19110 | 156298 | 72.49 | 5 | 36/640 | 0 | 37 | 149** | - | - | -% | - | - | -% |
| BackupRestore | | | 315 | 58675 | 15.07 | 0 | 0/3 | 0 | 0 | 1 | 107.12 | 0 | 100.00% | 66.92 | 0 | 100.00% |
| BluetoothChat | | | 616 | 85284 | 24.90 | 0 | 2/14 | 0 | 0 | 3 | 222.67 | 21*** | 94.19% | 109.86 | 2 | 33.33% |
| ChimeTimer | | | 1090 | 90444 | 28.54 | 0 | 1/33 | 0 | 2 | 8 | 222.41 | 8 | 98.21% | 133.95 | 1 | 83.33% |
| ContactManager | | | 347 | 88073 | 23.57 | 0 | 1/20 | 0 | 0 | 4 | 233.94 | 7 | 97.81% | 116.54 | 0 | 100.00% |
| CubeWallpaper | | | 450 | 46000 | 9.06 | 0 | 0/66 | 0 | 0 | 12 | 76.69 | 1 | 99.73% | 46.73 | 0 | 100.00% |
| Dazzle | | | 1798 | 78284 | 27.63 | 0 | 3/59 | 0 | 2 | 18 | 179.06 | 25* | 97.73% | 119.10 | 0 | 100.00% |
| GestureBuilder | | | 502 | 85217 | 22.65 | 0 | 3/23 | 1 | 0 | 6 | 193.47 | 18 | 90.83% | 110.60 | 0 | 100.00% |
| Home | | | 870 | 88220 | 22.84 | 0 | 1/23 | 3 | 2 | 7 | 221.62 | 27 | 94.22% | 120.45 | 8 | 38.46% |
| HoneycombGallery | | | 952 | 72309 | 18.35 | 0 | 6/23 | 0 | 2 | 4 | 155.78 | 32 | 95.39% | 88.21 | 0 | 100.00% |
| JetBoy | | | 839 | 65849 | 18.28 | 0 | 0/31 | 0 | 0 | 13 | 123.08 | 22 | 97.41% | 83.25 | 3 | 57.14% |
| LunarLander | | | 538 | 59119 | 16.36 | 0 | 0/44 | 0 | 0 | 3 | 117.42 | 5 | 99.30% | 73.23 | 3* | 0.00% |
| Mileage | | | 5879 | 104611 | 35.15 | 1 | 13/175 | 5 | 49 | 48 | 312.32 | 79** | 97.44% | 239.18 | 11 | 71.05% |
| MultiResolution | | | 75 | 58891 | 13.95 | 0 | 0/3 | 0 | 0 | 0 | 108.70 | 0 | 100.00% | 64.89 | 0 | 100.00% |
| NotePad | | | 707 | 67059 | 17.72 | 0 | 0/17 | 0 | 0 | 2 | 140.81 | 13 | 97.87% | 83.20 | 0 | 100.00% |
| OnWatch | | | 6300 | 114383 | 40.61 | 1 | 5/287 | 0 | 42 | 70 | 341.69 | 111 | 97.33% | 278.82 | 6 | 86.96% |
| OpenSudoku | | | 5879 | 120123 | 44.09 | 3* | 10/276 | 0 | 53 | 36 | 394.45 | 105* | 95.39% | 255.54 | 5 | 91.80% |
| Real3D | | | 1230 | 75151 | 19.04 | 3 | 0/102 | 0 | 2 | 19 | 155.39 | 20* | 98.39% | 96.14 | 2 | 60.00% |
| SampleSyncAdapter | | | 978 | 66631 | 17.80 | 0 | 0/9 | 1 | 3 | 6 | 141.99 | 4 | 99.51% | 83.11 | 2 | 60.00% |
| SearchableDictionary | | | 343 | 88034 | 20.90 | 0 | 0/4 | 0 | 0 | 1 | 198.69 | 3 | 99.31% | 109.48 | 0 | 100.00% |
| SkeletonApp | | | 77 | 57395 | 13.91 | 0 | 0/3 | 0 | 0 | 0 | 104.22 | 1 | 97.87% | 63.36 | 0 | 100.00% |
| Snake | | | 420 | 58602 | 13.80 | 0 | 0/17 | 5 | 0 | 1 | 117.43 | 5 | 98.95% | 75.65 | 1 | 90.00% |
| SoftKeyboard | | | 705 | 58728 | 13.57 | 0 | 0/25 | 0 | 1 | 4 | 103.57 | 11 | 95.94% | 64.49 | 0 | 100.00% |
| Solitaire | | | 3916 | 63500 | 15.80 | 5 | 3/262 | 0 | 12 | 335 | 139.63 | 47 | 92.59% | 245.27 | 10 | 86.49% |
| Spinner | | | 85 | 61885 | 15.96 | 0 | 0/3 | 0 | 3 | 3 | 118.25 | 3 | 93.10% | 75.55 | 0 | 100.00% |
| TestAppv2 | | | 377 | 57632 | 13.60 | 0 | 0/30 | 0 | 3 | 11 | 99.76 | 2 | 99.71% | 67.35 | 2 | 71.43% |
| TicTacToe | | | 607 | 59939 | 14.39 | 0 | 0/31 | 0 | 0 | 5 | 106.60 | 0 | 100.00% | 72.07 | 1 | 85.71% |
| TiltMazes | | | 1853 | 90399 | 22.75 | 0 | 0/64 | 0 | 5 | 23 | 204.23 | 15 | 98.30% | 133.87 | 1 | 88.89% |
| TippyTipper | | | 1773 | 65290 | 18.21 | 0 | 4/75 | 0 | 12 | 93 | 136.26 | 11 | 98.92% | 81.45 | 0 | 100.00% |
| Tricorder | | | 5321 | 105460 | 32.71 | 0 | 1/392 | 0 | 21 | 76 | 295.72 | 141** | 97.21% | 181.93 | 11 | 81.36% |
| TxWthr | | | 2024 | 75407 | 20.20 | 13************ | 6/83 | 0 | 5 | 53 | 161.45 | 45 | 97.50% | 97.50 | 6 | 70.00% |
| VoiceRecognition | | | 54 | 45082 | 8.95 | 0 | 0/0 | 0 | 0 | 0 | 69.73 | 0 | 100.00% | 44.24 | 0 | 100.00% |
| Wiktionary | | | 420 | 109133 | 35.23 | 0 | 0/8 | 0 | 0 | 0 | 320.60 | 4* | 99.70% | 164.59 | 0 | 100.00% |